#include <common.h>
#ifdef CONFIG_FTRACE
void load_elf(char* elf_file);
void ftrace_jal(vaddr_t pc, int dest,vaddr_t dnpc);
void ftrace_jalr(vaddr_t pc, int dest,int rs1,word_t imm,vaddr_t dnpc);
#endif
